(calculus, uncountable) The theorem that for any real-valued function that is differentiable on an interval, there is a point in that interval where the derivative of the curve equals the slope of the straight line between the graphed function values at the interval's end points.